We initiate a systematic study of the class of theories without the tree property of the second kind — NTP2. Most importantly, we show: the burden is “sub-multiplicative” in arbitrary theories ; NTP2 is equivalent to the generalized Kimʼs lemma and to the boundedness of ist-weight; the dp-rank of a type in an arbitrary theory is witnessed by mutually indiscernible sequences of realizations of the type, after adding some parameters — so the dp-rank of a 1-type in any theory is (...) always witnessed by sequences of singletons; in NTP2 theories, simple types are co-simple, characterized by the co-independence theorem, and forking between the realizations of a simple type and arbitrary elements satisfies full symmetry; a Henselian valued field of characteristic is NTP2 if and only if the residue field is NTP2 , so in particular any ultraproduct of p-adics is NTP2; adding a generic predicate to a geometric NTP2 theory preserves NTP2. (shrink)

We prove that every ultraproduct of p-adics is inp-minimal. More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic 0 in the RV language.

We study model theoretic tree properties and their associated cardinal invariants. In particular, we obtain a quantitative refinement of Shelah’s theorem for countable theories, show that [Formula: see text] is always witnessed by a formula in a single variable and that weak [Formula: see text] is equivalent to [Formula: see text]. Besides, we give a characterization of [Formula: see text] via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are (...) indeed [Formula: see text]. (shrink)

In this article, we develop and clarify some of the basic combinatorial properties of the new notion of n-dependence recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, n-dependence corresponds to the inability to encode a random -partite -hypergraph with a definable edge relation. We characterize n-dependence by counting φ-types over finite sets, and in terms of the collapse of random ordered -hypergraph (...) indiscernibles down to order-indiscernibles. (shrink)

We develop the theory of Kim-independence in the context of NSOP $_{1}$ theories satisfying the existence axiom. We show that, in such theories, Kim-independence is transitive and that -Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP $_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP $_{1}$ theories.

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over [Formula: see text] but has [Formula: see text]-measure 0 for every automorphism invariant Keisler measure [Formula: see text] and (ii) a definable group [Formula: see text] in a simple theory such that [Formula: see text] is not definably amenable, i.e. there is no translation invariant Keisler measure on [Formula: see text]. We also discuss paradoxical decompositions both in the setting of discrete groups (...) and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups. (shrink)

We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.

We prove a generalization of the Elekes–Szabó theorem [G. Elekes and E. Szabó, How to find groups?, Combinatorica 32 537–571 ] for relations defina...

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

Originally published in 1969. This book explains what is wrong with the traditional methodology of "inductive" reasoning and shows that the alternative scheme of reasoning associated with Whewell, Pierce and Popper can give the scientist a useful insight into the way he thinks.

This chapter contains sections titled: Life Themes Definite descriptions and reference Truth Logical theory Meaning and related notions Individuals Persons and states of mind Subjects and predicates The bounds of sense Responses to skepticism Freedom and resentment Conclusion.

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

I develop an account of predictive similarity that allows even Antirealists who accept a correspondence conception of truth to answer the Realist demand (recently given sophisticated reformulations by Musgrave and Leplin) to explain the success of particular scientific theories by appeal to some intrinsic feature of those theories (notwithstanding the failure of past efforts by van Fraassen, Fine, and Laudan). I conclude by arguing that we have no reason to find truth a better (i.e., more plausible) explanation of a theory's (...) success than predictive similarity, even of its success in making novel predictions. (shrink)

This book delves into esoteric knowledge, describing the structure of the universe (Brahmanda or Cosmic Egg) as a series of astral biospheres. These biospheres, or lokas, are linked to spiritual consciousness and degrees of divine bliss (Ananda). Advanced spiritual figures, such as Rishis and Mahatmas, can navigate these realms and help others evolve. The article presents a detailed comparison between “Puranic Hinduism” and “Sanatana Dharma”, specifically addressing their differences in cosmogenesis and spiritual evolution. The difference between the cosmogenesis of Puranic (...) Hinduism and Sanatana Dharma is that while the former is founded on the concept of Trimurti as taught by the Puranas, the latter is a Manu-centric and Guru-centric spiritual system. This has a lot of significance concerning the rituals and the social order they have produced. Here, the Cosmic Purusha is identifiable with Manu, not with Trimurti or the God of Abrahamic religions, because of their different spiritual status in the cosmological hierarchy. (shrink)

My topic is personal identity, or rather,ouridentity. There is general, but not, of course, unanimous, agreement that it is wrong to give an account of what is involved in, and essential to, our persistence over time which requires the existence of immaterial entities, but, it seems to me, there is no consensus about how, within, what might be called this naturalistic framework, we should best procede. This lack of consensus, no doubt, reflects the difficulty, which must strike anyone who has (...) considered the issue, of achieving, just in one's own thinking, a reflective equilibrium. The theory of personal identity, I feel, provides a curious contrast. On the one side, it seems highly important to know what sort of thing we are, but, on the other, it is hard to find any answer which has a ‘solid’ feel. (shrink)

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo's (...) results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

The assumption that we largely lack reasons for accepting testimony has dominated its epistemology. Given the further assumption that whatever reasons we do have are insufficient to justify our testimonial beliefs, many conclude that any account of testimonial knowledge must allow credulity to be justified. In this paper I argue that both of these assumptions are false. Our responses to testimony are guided by our background beliefs as to the testimony as a type, the testimonial situation, the testifier's character and (...) the truth of the proposition testified to. These beliefs provide reasons for our responses. Thus, we usually do have reasons, in the sense of propositions believed, for accepting testimony and these reasons can provide evidence for the testimonial beliefs we form. (shrink)

In the last thirty years, the problem of presupposition projection has been taken to provide a decisive argument for a dynamic approach to meaning, one in which expressions are not evaluated with respect to the ‘global’ context of utterance, but rather with respect to a ‘local context’ obtained by updating the global one with expressions that occur earlier in the sentence. The computation of local contexts is taken by dynamic analyses to follow from a generalization of the notion of belief (...) update. I argue that the dynamic approach is faced with a dilemma: in its pragmatic incarnation (Stalnaker), it is explanatory but not general; in its semantic incarnation (Karttunen and Heim), it is general but not explanatory. I suggest that the dilemma stems for a faulty understanding of ‘local contexts’, and I offer a new reconstruction of this notion which eschews belief update but offers a general and fully precise solution to the projection problem. (shrink)

The underdetermination of theory by evidence is supposed to be a reason to rethink science. It is not. Many authors claim that underdetermination has momentous consequences for the status of scientific claims, but such claims are hidden in an umbra of obscurity and a penumbra of equivocation. So many various phenomena pass for `underdetermination' that it's tempting to think that it is no unified phenomenon at all, so I begin by providing a framework within which all these worries can be (...) seen as species of one genus: A claim of underdetermination involves (at least implicitly) a set of rival theories, a standard of responsible judgment, and a scope of circumstances in which responsible choice between the rivals is impossible. Within this framework, I show that one variety of underdetermination motivated modern scepticism and thus is a familiar problem at the heart of epistemology. I survey arguments that infer from underdetermination to some reëvaluation of science: top-down arguments infer a priori from the ubiquity of underdetermination to some conclusion about science; bottom-up arguments infer from specific instances of underdetermination, to the claim that underdetermination is widespread, and then to some conclusion about science. The top-down arguments either fail to deliver underdetermination of any great significance or (as with modern scepticism) deliver some well-worn epistemic concern. The bottom-up arguments must rely on cases. I consider several promising cases and find them to either be so specialized that they cannot underwrite conclusions about science in general or not be underdetermined at all. Neither top-down nor bottom-up arguments can motivate any deep reconsideration of science. (shrink)

This paper briefly reviews highlights from decades of debates in medicine, law, bioethics, psychology and social research about children’s and parents’ views and consent to medical treatment and research. There appears to have been a rise and later a fall in respect for children’s views, illustrated among many examples by a recent book on the zone of parental discretion, which is reviewed. A return to greater respect for children’s views and consent is advocated.

This paper canvasses recent arguments in favor of commercial markets in human transplant kidneys, raising objections to those arguments on grounds of the role of injustice, exploitation, and coercion in compromising the autonomy of those most likely to sell a kidney, namely, the least well off members of society.

We locate winning strategies for various ${\mathrm{\Sigma }}_{3}^{0}$ -games in the L-hierarchy in order to prove the following: Theorem 1. KP+Σ₂-Comprehension $\vdash \exists \alpha L_{\alpha}\ models"\Sigma _{2}-{\bf KP}+\Sigma _{3}^{0}-\text{Determinacy}."$ Alternatively: ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ "there is a β-model of ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\text{\hspace{0.17 em}}{\mathrm{\Sigma }}_{3}^{0}$ -Determinacy." The implication is not reversible. (The antecedent here may be replaced with ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({\mathrm{\Pi }}_{3}^{1}\right)-{\mathrm{C}\mathrm{A}}_{0}:\text{\hspace{0.17em}}{\mathrm{\Pi }}_{3}^{1}$ instances of Comprehension with only ${\mathrm{\Pi }}_{3}^{1}$ -lightface definable parameters—or even weaker theories.) Theorem 2. KP +Δ₂-Comprehension +Σ₂-Replacement + ${\mathrm{\Sigma }}_{3}^{0}\phantom{\rule{0ex}{0ex}}$ -Determinacy. (Here AQI (...) is the assertion that every arithmetical quasi-inductive definition converges.) Alternatively: $\Delta _{3}^{1}{\rm CA}_{0}+{\rm AQI}\nvdash \Sigma _{3}^{0}$ -Determinacy. Hence the theories: ${\mathrm{\Pi }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0},\text{\hspace{0.17em}}{\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\text{\hspace{0.17em}}{\mathrm{\Sigma }}_{3}^{0}-\mathrm{D}\mathrm{e}\mathrm{t}\phantom{\rule{0ex}{0ex}}$ -Det, ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\mathrm{A}\mathrm{Q}\mathrm{I}$ , and ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ are in strictly descending order of strength. (shrink)

The present volume is, we believe, the first-ever edited volume devoted to the emotion of disgust. In this chapter we address the following issues: 1. Why was disgust almost completely ignored until about 1990, 2. Why has there been a great increase in attention to disgust since about 1990?, 3. The outline of an integrative, body-to-soul preadaptation theory of disgust, 4. Some specific features of disgust that make it particularly susceptible to laboratory research and particularly appropriate to address some fundamental (...) issues in psychology. In the final section, we outline some new questions that arise from the recent increased interest in disgust in the areas of brain mechanisms, psychopathology, the psychometric approach to the structure of disgust, and disgust and morality. We then indicate some important aspects of disgust that have yet to receive systematic investigation. (shrink)

We define theories of bounded arithmetic, whose definable functions and relations are exactly those in certain complexity classes. Based on a recursion-theoretic characterization of NC in Clote , the first-order theory TNC, whose principal axiom scheme is a form of short induction on notation for nondeterministic polynomial-time computable relations, has the property that those functions having nondeterministic polynomial-time graph Θ such that TNC x y Θ are exactly the functions in NC, computable on a parallel random-access machine in polylogarithmic parallel (...) time with a polynomial number of processors.0 We then define three theories of weak second-order arithmetic which respectively characterize relations in the classes of alternating logarithmic time, logspace and nondeterministic logspace. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument from (...) practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

The goal of the present volume is to discuss the notion of a 'conceptual framework' or 'conceptual scheme', which has been dominating much work in the analysis and justification of knowledge in recent years. More specifi cally, this volume is designed to clarify the contrast between two competing approaches in the area of problems indicated by this notion: On the one hand, we have the conviction, underlying much present-day work in the philosophy of science, that the best we can hope (...) for in the justifi cation of empirical knowledge is to reconstruct the conceptual means actually employed by science, and to develop suitable models for analyzing conceptual change involved in the progress of science. This view involves the assumption that we should stop taking foundational questions of epistemology seriously and discard once and for all the quest for uncontrovertible truth. The result ing program of justifying epistemic claims by subsequently describing patterns of inferentially connected concepts as they are at work in actual science is closely connected with the idea of naturalizing epistemology, with concep tual relativism, and with a pragmatic interpretation of knowledge. On the other hand, recent epistemology tends to claim that no subsequent reconstruction of actually employed conceptual frameworks is sufficient for providing epistemic justification for our beliefs about the world. This second claim tries to resist the naturalistic and pragmatic approach to epistemology and insists on taking the epistemological sceptic seriously. (shrink)

J. L. Mackie's famous claim that Locke ‘anticipates’ Kripke's Causal Theory of Reference rests, I suggest, upon a pair of important misunderstandings. Contra Mackie, as well as the more recent accounts of Paul Guyer and Michael Ayers, Lockean Real Essences consist of those features of an entity from which all of its experienceable properties can be logically deduced; thus a substantival Real Essence consists of features of a Real Constitution plus logically necessary objective connections between them and features of some (...) particular Nominal Essence. Furthermore, what Locke actually anticipates is the most significant contemporary challenge to the CTR: the qua‐problem. (shrink)

In the axiomatic development of the logic of nonrelativistic quantum mechanics it is not difficult to set down certain plausible axioms which ensure that the quantum logic of propositions has the structure of an orthomodular poset. This can be done in a number of ways, for example, as in Gunson [2], Mackey [4], Piron [5], Varadarajan [7] and Zierler [8], and we summarise one of these ways in §2 below.

The author is critical of russell's theory in that his "analysis of sentences containing definite descriptions is very defective" and has too many complications to serve as a "convention for a symbolic language.".

Objective: The objectives of this study are to understand the current functions, structure and operation of hospital ethics committees (HECs) in Shanghai and to facilitate their improvement. Methods: (1) A questionnaire survey, (2) interviews with secretaries and (3) on-site document reviews of HECs in Shanghai were used in the study, which surveyed 33 hospitals. Results: In Shanghai, 57.56% of the surveyed hospitals established HECs from 1998 to 2005. Most HECs used bioethical review of research involving human subjects as well as (...) bioethical review or consultation regarding medical care services and administrative decision- making. Of the surveyed HECs, 14.3% did not provide any formal bioethical training to the HECs’ members and many HECs had no standard operating procedures. Some HECs had no clear definition of what was “conflict of interest” that should be considered by the HECs, while 44.4% of the HECs did not perform continuing review. Discussion: After the issues of related national regulations, more and more hospitals established HECs in Shanghai, but the functions of HECs need to be further developed and formal training on bioethics should be provided to HEC members. To assure the independence and good performance of HECs, the conflict of interest procedure, the standard operating procedures and bioethical review should be improved. Conclusion: HECs in Shanghai had developed in the preceding 10 years and they played great roles in protecting the rights and welfare of human subjects and patients; some areas need improvement. (shrink)

Background: According to the Declaration of Helsinki, patients who take part in a clinical trial must be adequately informed about the trial's aims, methods, expected benefits, and potential risks. The declaration does not, however, elaborate on what “adequately informed” might amount to, in practice. Medical researchers and Local Research Ethics Committees attempt to ensure that the information which potential participants are given is pitched at an appropriate level, but few studies have considered whether the patients who take part in such (...) trials feel they have been given adequate information, or whether they feel able to understand that information.Objectives: To explore trial participants' views on the amount of information provided, and of their own understanding of that information.Design: Structured interviews of patients participating in clinical trials for the treatment of chronic medical condition.Findings: Patients generally felt they were given an appropriate amount of information, and that they were able to understand all or most of it. They felt they were given adequate time to ask questions before agreeing to take part. In comparison with treatment given outwith the research setting, patients generally felt they received more information when participating in a clinical trial.Conclusions: Researchers sometimes complain that patients are given too much information during clinical trials, and have limited understanding of that information. The present study shows that this perception is not necessarily shared by patients. More research is needed in this area, particularly to gauge whether patient understanding is indeed accurate. (shrink)

Immunisation is offered to all age groups in the UK, but is mainly given to infants and school-age children. Such immunisation is not compulsory, in contrast to other countries, such as the United States. Levels of immunisation are generally very high in the UK, but the rates of immunisation vary with the public perception of the risk of side effects. This article discusses whether compulsory vaccination is acceptable by considering individual cases where parents have failed to give consent or have (...) explicitly refused consent for their children to be immunised. In particular, the rights of: a parent to rear his/her child according to his/her own standards; the child to receive health care, and the community to be protected from vaccine-preventable infectious disease are considered. The conclusion of the article is that compulsory vaccination cannot, with very few exceptions, be justified in the UK, in view of the high levels of population immunity which currently exist. (shrink)

According to philosopher Paul Woodruff, reverent awe is a feeling of being limited or dwarfed by something larger than the human, usually accompanied by feelings of respect for fellow human beings. Drawing from Jean-Paul Sartre’s early philosophy, this article responds positively to the title question, showing how reverent awe is in bad faith yet is similar to anguish, and unique with respect to both. Especially remarkable in reverent awe is the feeling of connectedness to humankind. In section two, building on (...) this section one framework of how Sartrean consciousness can be reverent, the article explores how being-in-itself can be an object of reverent awe. (shrink)

The expressivist account of knowledge attributions, while claiming that these attributions are nonfactual, also typically holds that they retain a factual component. This factual component involves the attribution of a belief. The aim of this work is to show that considerations analogous to those motivating an expressivist account of knowledge attributions can be applied to belief attributions. As a consequence, we claim that expressivists should not treat the so-called factual component as such. The phenomenon we focus on to claim that (...) belief attributions are non-factual is that of normative doxastic disagreement. We show through several examples that this kind of disagreement is analogous to that of the epistemic kind. The result will be a doxastic expressivism. Finally, we answer some objections that our doxastic expressivism could seem to face. (shrink)

The author clarifies the existential philosophy that is implicit in Kurt Goldstein's philosophy of organism (Goldstein, 1963; 1995). Situated in response to the growing trend that psychological phenomena are reducible to the nervous system, the author argues for the reverse: that the significance of nervous system activity can only be understood by viewing it as background to foreground performances. Like the organization of perception into meaningful figure-- ground Gestalts, the existential modes of embodiment, sociality, temporality, spatiality, and attunement are organized (...) together to accomplish foreground performances. It is only within this context that the activity of the nervous system may be understood as significant or insignificant. Speech is given as an example. The article concludes with a commentary on how the trend of reducing psychological phenomena to neurological phenomena has impaired our understanding of brain disorders and psychological disorders. (shrink)

1. _The project_ Over the last two and a half centuries three main strands of opinion can be discerned in philosophers.

IΣ n andBΣ n are well known fragments of first-order arithmetic with induction and collection forΣ n formulas respectively;IΣ n 0 andBΣ n 0 are their second-order counterparts. RCA0 is the well known fragment of second-order arithmetic with recursive comprehension;WKL 0 isRCA 0 plus weak König's lemma. We first strengthen Harrington's conservation result by showing thatWKL 0 +BΣ n 0 is Π 1 1 -conservative overRCA 0 +BΣ n 0 . Then we develop some model theory inWKL 0 and illustrate (...) the use of formalized model theory by giving a relatively simple proof of the fact thatIΣ 1 provesBΣ n+1 to be Π n+2-conservative overIΣ n . Finally, we present a proof-theoretic proof of the stronger fact that theΠ n+2 conservation result is provable already inIΔ 0 + superexp. ThusIΣ n+1 proves 1-Con (BΣ n+1) andIΔ 0 +superexp proves Con (IΣ n )↔Con(BΣ n+1). (shrink)

In recent work, W. Matthews Grant challenges the common assumption that if humans have libertarian free will, and the moral responsibility it affords, then it is impossible for God to cause what humans freely do. He does this by offering a “non-competitivist” model that he calls the “Dual Sources” account of divine and human causation. Although we find Grant’s Dual Sources model to be the most compelling of models on offer for non-competitivism, we argue that it fails to circumvent a (...) theological version of Peter van Inwagen’s direct argument for incompatibilism. In the paper, we motivate and deploy a theological take on the direct argument, and we contend that this theological rendition of the direct argument effectively dismantles Grant’s Dual Sources account of non-competitivism. (shrink)

The two dogmas at issue are the Humean dogma that “‘is’ statements do not imply ‘ought’ statements” and the Kantian dogma that “‘ought’ statements imply ‘can’” statements. The extant literature concludes these logically contradict each other. On the contrary, it is argued here that while there is no derivable formal contradiction, the juxtaposition of the dogmas manifests a philosophical disagreement over how to understand the logic of prescriptions. This disagreement bears on how to understand current metaethical debate between realists and (...) non-realists about morality in a way not heretofore investigated. The conclusion is that realists have the resources to account for both dogmas, while non-realists, if they strictly adhere to the “is”/“ought” gap, cannot give an adequate account of why “ought” implies “can”. (shrink)

In this paper we describe a propagation experiment to measure the one-way velocity of electromagnetic radiation. The experiment utilizes the rotation of the earth to interchange the positions of two rubidium vapor frequency standards over12 h, thereby canceling initial clock phase differences. It is demonstrated that although the drift characteristics of modern rubidium atomic clocks may be large for long-term absolute timing requirements, the short-term random fluctuations are small. It is found that over a24-h period, the long-term drift can be (...) accurately parameterized in retrospect and removed, thereby permitting the detection of temporal variations less than1 nsec in magnitude. With coherent summing techniques this value may be significantly reduced, and it becomes realistic to consider an experiment where the clocks are separated by distances of the order of several hundreds of meters in order to detect velocities of the order of that of the solar system with respect to the center of the galaxy(≈10 5 m sec −1 ), thus ensuring that the rotational motion of the earth has a negligible effect in altering the relative inertial characteristics of the reference frames of each clock. It is demonstrated that under such conditions the measurement of the one-way speed of propagation of electromagnetic radiation is not only meaningful, but can be simply implemented with commercially available instrumentation. (shrink)

Optimization by definition is the action of making most effective or the best use of a resource or situation and that is required almost in every field of engineering. In this work, the optimization of Least Mean square (LMS) algorithm is carried out with the help of Particle Swarm Optimization (PSO) and Ant Colony Optimization (ACO). Efforts have been made to find out the advantages and disadvantages of combining gradient based (LMS) algorithm with Swarm Intelligence SI (ACO, PSO). This optimization (...) of LMS algorithm will help us in further extending the uses of adaptive filtering to the system having multi-model error surface that is still a gray area of adaptive filtering. Because the available version of LMS algorithm that plays an important role in adaptive filtering is a gradient based algorithm, that get stuck at the local minima of system with multi-model error surface considering it global minima, resulting in an non-optimized convergence. By virtue of the proposed method we have got a profound solution for the problem associated with system with multimodal error surface. The results depict significant improvements in the performance and displayed fast convergence rate, rather stucking at local minima. Both the SI techniques displayed their own advantage and can be separately combined with LMS algorithm for adaptive filtering. This optimization of LMS algorithm will further help to resolve serious interference and noise issues and holds a very important application in the field of biomedical science. (shrink)

The challenges posed by chronic illness have pointed out to epidemiologists the multifactorial complex nature of disease causality. This notion has been referred to as a web of causality. This web extends theoretically beyond risk markers. It includes determinants of emergence/non-emergence of disease. This web of determinants is a form of complex system. Due to its complexity, the determinants within such system are not linked to each others in a linear, predictable manner only. Predictability is possible only on a short-term (...) basis, and unpredictability sets in over the long run. Understanding such a system of determinants calls for articulation and testing of complex models which synthesize our knowledge of multiple determinants at many scales, both biological and otherwise. Given the complexity of this web and existing knowledge about the nonlinearity of such systems, the following question is posed: Can the challenge of studying causality be adequately addressed if emphasis continues to be placed on using tools and methods that are geared towards looking at such system from a linear paradigm? Or is it time to add to the epidemiologic research agenda the notion of nonlinearity and its relevant form of analytical approaches that are being tested in other disciplines? Furthermore, the question posed here applies as well to the study of determinants of health. Addressing determinants of heath adds further complexity to our task. (shrink)

The language of Greek Tragedy can be considered as a whole by virtue of the characteristics which distinguish it from that of other branches of Greek literature, and the resemblance between the three tragedians in this respect is more noticeable than the differences. Still, if we compare Aeschylus and Euripides it is impossible not to feel a marked change of tone, in λ⋯ξις as in δι⋯νοια and ἤθη. As in E. the familiar legends are frequently set in a more everyday (...) atmosphere and the characters cast in a less heroic mould, it is natural that the tone of the language should be lowered, partly by the frequent use of distinctively prosaic expressions and partly by the introduction of what appear to be colloquialisms. This change of tone in language was at once noted by Aristophanes and is referred to by Aristotle as an innovation of E. On the other hand E.'s style presents a certain anomaly, since while deliberately securing a closer approximation to the language of prose and ordinary conversation he also shows a poetic and archaizing tendency in the use of Aeschylean and Homeric words and forms not found in Sophocles. This may be due to a reluctance to depart too far from the poetic tradition of Greek tragedy, and possibly to a scholar's interest in the language of Aeschylus and Homer, in a minor degree a foreshadowing of the learned archaism of the Alexandrian poets. (shrink)

In biology, and particularly in morphology, various types of explanation are found,e.g. causal, teleological, historical, etc.In this article an attempt has been made to analyse the relations between the various explanations to strive for an encompassing explanatory theory.The general structure of the explanatory theories appeared to be very similar, but the terms defining the phenomena and the types of the relations within the theories differ. To obtain a unifying theory it is necessary to develop methods to connect or transform the (...) different elements.An important aspect is that the definition of selected phenomena depends on the explanation pursued. (shrink)

The terms “competency” and “decision making capacity” are often used interchangeably in the medical setting. Although competency is a legal determination made by judges, “competency” assessments are frequently requested of psychiatrists who are called to consult on hospitalised patients who refuse medical treatment. In these situations, the bioethicist is called to consult frequently as well, sometimes as a second opinion or “tie breaker”. The psychiatric determination of competence, while a clinical phenomenon, is based primarily in legalism and can be quite (...) different from the bioethics approach. This discrepancy highlights the difficulties that arise when a patient is found to be “competent” by psychiatry but lacking in DMC by bioethics. Using a case, this dilemma is explored and guidance for reconciling the opinions of two distinct clinical specialties is offered. (shrink)